Predicate logic - PDFSEARCH.IO - Document Search Engine

Predicate logic
Results: 1102

#	Item
461	1 Proof in Z with ProofPower Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2011-07-27 09:29:50 First-order logic Model theory Predicate logic Function Lemmas Mathematics Mathematical logic Logic
462	Summary of Successful ARC Future Fellowships Proposals for Funding to Commence in 2010 by State and Organisation New South Wales University of Technology, Sydney FT100100218 Dr Yuan Feng Approved Add to Reading List Source URL: www.arc.gov.au Language: English - Date: 2010-11-08 23:01:00 Zhu Feng WP Formal methods Predicate transformer semantics Program logic
463	Proof Obligations Preserving Compilation Extended abstract Gilles Barthe1 and Tamara Rezk1 and Ando Saabas2 1 2 Add to Reading List Source URL: set.ee Language: English - Date: 2005-11-02 06:27:15 Applied mathematics Formal methods Mathematical logic Program logic Predicate transformer semantics Assertion Stack-oriented programming language Postcondition Subroutine Theoretical computer science Mathematics Logic in computer science
464	E-ACSL Executable ANSI/ISO C Specification Language Version 1.8 E-ACSL Add to Reading List Source URL: frama-c.com Language: English - Date: 2014-03-12 13:10:16 C programming language Procedural programming languages ANSI/ISO C Specification Language C++ C Pointer Predicate Software engineering Computing Logic
465	SPred: Large-scale Harvesting of Semantic Predicates Tiziano Flati and Roberto Navigli Dipartimento di Informatica Sapienza Universit`a di Roma {flati,navigli}@di.uniroma1.it Add to Reading List Source URL: wwwusers.di.uniroma1.it Language: English - Date: 2013-08-09 01:35:58 Knowledge representation Grammar Semantics Logic Lexical semantics WordNet Semantic network Predicate Cyc Linguistics Science Computational linguistics
466	JAF26/Weak Arithmetics Days Seville, June 11–13, 2007 Self-applied proof verification (Extended abstract)? Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2014-03-05 12:52:10 Philosophical logic Model theory Predicate logic Metalogic Mathematical proof Kripke semantics Correctness Quantification Function Logic Mathematics Mathematical logic
467	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein >>= Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Science Program logic Computer law Copyleft Monad Isabelle Formal verification Predicate transformer semantics Creative Commons Theoretical computer science Formal methods Applied mathematics
468	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein C Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Program logic Law Computer law Copyleft Intellectual property law Isabelle Predicate transformer semantics L4 microkernel family Hoare logic Theoretical computer science Open content Formal methods
469	PDF Document Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2014-08-27 06:04:04 Model theory Predicate logic Skolem normal form Counterexample Free variables and bound variables Universal quantification Function American English Mathematics Logic Mathematical logic

UPDATE